%% Pretty printing table (see also JavaComp.generated.pp)
[]
